constrained first order optimization